COMMENT CONCEVOIR LA MORPHOLOGIE DANS L OPTIQUE FONCTIONNELLE

L'approche fonctionnelle dans la vérification des systèmes informatiques : proposition d'un ensemble de méthodologies

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

La morphologie mathématique binaire pour l'extraction automatique des bâtiments dans les images THRS

RÉSUMÉ. Cet article présente une nouvelle méthode de détection et d’extraction des bâtiments en milieu urbain à partir d’images satellitaires à très haute résolution spatiale. L’approche proposée est fondée sur l’application et l’enchainement automatique d’opérateurs issus de la morphologie mathématique binaire. Plusieurs étapes constituent la méthode : (1) binarisation de l’image, (2) filtrage...

Sur la morphologie et la transmission d'Eperythrozoon coccoîdes

Etude de la programmation logico-fonctionnelle concurrente

Spécification structurelle, fonctionnelle et déontique d'organisations dans les SMA

RÉSUMÉ. Dans les approches centrées organisation des Systèmes Multi-Agents, les organisations s’intéressent généralement soit au fonctionnement, soit à la structure des agents dans le système. La combinaison de ces deux dimensions peut cependant s’avérer bénéfique pour spécifier les organisations. Le modèleMOISE– décrit dans ce papier au travers de l’exemple des robots footballeurs – vise à pro...